گیریم میدان اعداد مختلط ساختنی (توسط پرگار و خطکش نامدرج) و حلقه اعداد صحیح جبری (مختلط) باشد. در این پایان نامه، تعریف پذیری در که توسط ویدلا (videla) در سال 1999 در proc. of ams به چاپ رسید مورد توصیف قرار می گیرد. انگیزه قضیه ویدلا ناشی از قضیه تارسکی (tarski) مبنی بر تصمیم پذیری (r, +, 0)، مثلا به دلیل تمامیت نظریه میدانهای بسته حقیقی، قضیه جولیا رابینسون (j. robinson) مبنی بر تصمیم ناپذیری...

منطق وجهی به عنوان یک زبان برای بحث در مورد فضاهای توپولوژیک، حدود 60 سال سابقه دارد. در اصل انگیزه های اولیه این تحقیق و مطالعه صرفاً ریاضی بوده است ولی اخیراً کاربردهای علم کامپیوتر نیز دلایل دیگری به آن افزوده است. از مهمترین موضوعات در منطق وجهی گسترش زبان های وجهی و مطالعه قدرت بیان آنها می باشد. مراجع [1و2و3و4] در بردارنده بخشی ازاین تلاشها می باشد. در چشم انداز زبانهای فضایی زبان های وجه...

در این رساله ابتدا نظریه توابع بازگشتی (محاسبه پذیر) و سپس نظریه درجات حل ناپذیری به طورخلاصه معرفی می شوند.در ادامه ثابت می کنیم که هر رابطه شمارش پذیر روی درجات شمارش ، ‏‎c‎‏ ، به طور یکنواخت ، با پارامترهایی در ‏‎c‎‏ ، تعریف پذیر است. در نتیجه ، تئوری مرتبه اول ‏‎c‎‏ ، به طور بازگشتی با حساب مرتبه دوم یکریخت است. با کمک یک صورت کارآمد از لم کدگذاری ، نشان داده می شود که تئوری مرتبه اول درجات...

چکیده در این پایان نامه به معرفی منطق پیوسته و ساختارهای متریک پرداخته و سپس با در نظر گرفتن فضاهای هیلبرت به عنوان ساختارهای متریک، تئوری این فضاها را از دید منطق پیوسته مورد مطالعه قرار می دهیم. هدف اصلی بررسی تعریف پذیری در این تئوری می باشد. نشان خواهیم داد عملگرهای خطی تعریف پذیر روی فضاهای هیلبرت به صورت عملگرهای اسکالر به علاوه فشرده هستند. همچنین توصیف عملگرهای تعریف پذیر نتایج بیشتری ...

همچنان که می دانیم کلاسهای شیب از نوع متناهی هستند در حالیکه کلاسهای هم شیب همیشه از نوع هم متناهی نیستند. ما با استفاده از تناظر بین کلاسهای تعریف پذیر مدولهای چپ و کلاسهای تعریف پذیر مدولهای راست ثابت می کنیم که این موضوع روی عدم تقارن موجود بین مفاهیم پوششها و روکشها یا اظهارات غیر از این، تقریب های راست وچپ اثر می گذارد. بویژه ما نشان می دهیم که کلاسهای تابی تعریف پذیر شامل مدولهای انژکتیو...

این مقاله به مبحث تعریف در نظام منطق سنتی می پردازد و تلاش می کند با بیان انتقادهای وارد بر این نظام و طبقه بندی و تحلیل آنها نقاط ضعف و ناکارآمدی مبحث تعریف را نشان دهد و بر آن است که بخش تعریف در منطق سنتی فی الجمله مبحثی بی ثمر است که نه به کار تحصیل تعاریف جدید می آید و نه می تواند تعاریف دانشمندان را در علوم مختلف در خود جای داده و تحلیل و بررسی کند. پس از نقد این نظام تلاش کرده ایم شیوه ا...

زلزله جزء مهم ترین مخاطرات تهدید کننده محیط های شهری می باشد که اهمیت زیادی در مدیریت بحران و تصمیم‌گیری‌های شهری دارد. بنابراین بکارگیری روش هایی جهت کاهش تلفات و خسارات ناشی از آن امری حیاتی و مهم بشمار می‌آید. یکی از این روش‌ها تهیه نقشه‌آسیب پذیری لرزه‌ایمی باشد.مسئله تعیین آسیب پذیری لرزه‌ای به دلیل وابسته بودنش به پارامترهای لرزه‌ای مختلف و نظر کارشناس همواره با عدم قطعیت‌هایی همراه است ک...

زلزله جزء مهم ترین مخاطرات تهدید کننده محیط های شهری می باشد که اهمیت زیادی در مدیریت بحران و تصمیم گیری های شهری دارد. بنابراین بکارگیری روش هایی جهت کاهش تلفات و خسارات ناشی از آن امری حیاتی و مهم بشمار می آید. یکی از این روش ها تهیه نقشه آسیب پذیری لرزه ایمی باشد.مسئله تعیین آسیب پذیری لرزه ای به دلیل وابسته بودنش به پارامترهای لرزه ای مختلف و نظر کارشناس همواره با عدم قطعیت هایی همراه است ک...

مقاله حاضر به بررسی حرف تعریف و ساختار توزیعی آن در گویش اردکان فارس در چارچوب برنامه کمینه­گرا می­پردازد. بررسی داده­های زبانی گویش اردکان فارس نشان می­دهد که در ساختار گروه تعریف این گویش دو حرف تعریف معرفه حضور دارد که یکی از آن ها تنها به صفت متصل می­شود. هدف از انجام این پژوهش، تعیین جایگاه تولید مناسب برای حروف تعریف معرفه و نکره و تبیین چگونگی هم­آیی آن ها با دیگر عناصر گروه تعریف نظیر ا...